00100	(DE INST (E M P) (COND ((EQ P (QUOTE NO)) P) ((ATOM M) (COND ((ISVAR M)
00200	((LAMBDA (W) (COND ((NULL W) (CONS (CONS M E) P))
00300	((EQUAL (CDR W) E) P) (T (QUOTE NO)))) (ASSOC M P)))
00400	((EQ M E) P) (T (QUOTE NO)))) ((ATOM E) (QUOTE NO))
00500	(T (INST (CDR E) (CDR M) (INST (CAR E) (CAR M) P)))))
00600	
00700	(DE ISVAR (M) (MEMBER M (QUOTE (U V W X Y Z))))
00800	
00900	(DE SUBLIS (E P) (COND ((ATOM E) 
01000	((LAMBDA (W) (COND ((NULL W) E) (T (CDR W))))
01100	(ASSOC E P)))
01200	(T ((LAMBDA (X Y) (COND ((AND (EQ X (CAR E))
01300	(EQ Y (CDR E))) E) (T (CONS X Y)))) (SUBLIS (CAR E) P)
01400	 (SUBLIS (CDR E) P)))))